Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol
نویسندگان
چکیده
منابع مشابه
Formal Description Technique SDL for manufacturing systems
This paper addresses the formal specification and description of manufacturing systems. It is considered the use of SDL (Specification and Description Language), a standard FDT (Formal Description Technique), to model the behaviour, data and structure aspects of a manufacturing system. SDL was originally developed for telecommunication systems (protocol specification and data processing). The a...
متن کاملSpecifications of a Simplified Transport Protocol Using Different Formal Description Techniques
Formal description techniques have been developed for the specification of OSI communication protocols and services, and can also be used as specification langnages for other application areas. This paper presents two complete example specifications of a simplified Transport protocol (class 2) written in Estelle and LOTOS, and the outline of a similar specification in SDL. These examples are of...
متن کاملSDL Basics
This tutorial is a quick introduction to the basic ideas, concepts and features of SDL. It starts by introducing the class of systems that SDL is intended for and the main features of their behaviour. The correspondence between these features and the basic concepts of SDL are explained. Then the various language elements of SDL are introduced gradually and exemplified by way of a simple system ...
متن کاملFormalization and Validation of the Radio Link Protocol (RLP1)
This paper describes the formalization and validation of the Radio Link Protocol (RLP1) and the eeect of the validation on its standardization. RLP1, which was recently standardized by the Telecommunications Industry Association (TIA) working group, TR45.3.2 (TDMA Cellular Systems Data Services Working Group), appears to be the rst protocol that was standardized using a formal language, namely ...
متن کاملApplying SAMSTAG to the B-ISDN protocol SSCOP
The test generation method SAMSTAG (SDL and MSC based test case generation) has been applied successfully to the B-ISDN ATM Adaption Layer protocol SSCOP (Service Specific Connection Oriented Protocol). For approximately 70% of the identified test purposes complete TTCN test cases have been generated automatically. In this paper we describe the experiment, discuss the results and explain how fu...
متن کامل